tools-console-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:46:54 +0000 (11:46 +0200)
committerIan Campbell <ijc@debian.org>
Tue, 9 Feb 2016 16:41:16 +0000 (16:41 +0000)
commit696765e1feb94b6eb20c18add93146f64dd1c3cd
treea9f4daa49e71e3feb84724d8e78eef625b190a82
parent93a6b1f4a7bb9e05c184dd4a41d9741e9a8b8514
tools-console-prefix.diff

Patch-Name: tools-console-prefix.diff

Gbp-Pq: Name tools-console-prefix.diff
tools/console/Makefile